<?php
$json_string = file_get_contents('install_lock.json');
$dataxxx = json_decode($json_string, true);
    if($dataxxx[1]=="OK"){
if (isset($_COOKIE["user"])){
  include("theme/index.html"); 
}else{
    echo"<script type="."\""."text/javascript"."\"".">"."window.location="."\""."./login.php"."\""."</script>";
    }}else{
  include("install.php"); 
    }
?>